Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Författare
(Edited by Nadia Polikarpova, Steve Schneider.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer International Publishing, Imprint: Springer 2017 Tyskland, Cham XXI, 438 sidor. 109 illus. online resource. 978-3-319-66845-1